Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
501	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title The ‘Discinnet process’, metadata <-> big data global experiment Vertical (area) Multidisciplinary / Natural sciences Author/Company/Ema Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-24 07:56:15 Data management Database theory Parallel computing Emerging technologies Formal sciences Big data Computer cluster Metadata Database Computing Technology Database management systems
502	Making the Most of the Software Development Process Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Organisations are under increased pressure to look at development initiatives from a return Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Formal methods Software project management Software engineering Agile software development IBM Rational Unified Process Unified Process Dynamic systems development method Project management Extreme programming Software development Software Software development process
503	solution brief Integrating testing and requirements management to supercharge software delivery SOLUTION BRIEF \| Integrating testing and requirements management to supercharge software delivery Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:33 Software requirements Formal methods Software testing Requirements management Software development process Reliability engineering Requirement Software quality HP Application Lifecycle Management Software development Systems engineering Software
504	A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM ∗ Manuel Núñez,1 Fernando L. Pelayo2 and Ismael Rodríguez1 1 Departamento Sistemas Informáticos y Programación, Facu Add to Reading List Source URL: antares.sip.ucm.es Language: English - Date: 2007-12-19 12:49:12 Data management Specification Reliability engineering Science Systems engineering Technology Abstraction
505	http://www.catb.org/~esr/writings/utility-of-math/ Add to Reading List Source URL: www.nuceng.ca Language: English - Date: 2015-01-10 20:16:00 Formal systems Mathematical logic Formalism Mathematical object Geometry Axiomatic system Mathematical proof Set theory Mathematical model Mathematics Philosophy of mathematics Abstraction
506	DO ANDROIDS PROVE THEOREMS IN THEIR SLEEP? Michael Harris, version of March 21, 2008, (plus one addition) 1. A mathematical dream narrative …antes imagino que todo es ficción, fábula y mentira, y sueños contados por Add to Reading List Source URL: webusers.imj-prg.fr Language: English - Date: 2009-01-07 04:12:10 Mathematical logic Formal systems Philosophy of mathematics Proof theory Mathematical proof Theorem Formal proof Axiom Automated theorem proving Logic Mathematics Logical syntax
507	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
508	Use Case Title World Population Scale Epidemiological Study Vertical (area) Epidemiology, Simulation Social Science, Computational Social Science Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-24 14:40:06 Formal sciences Scientific modeling Database management systems Database theory Emerging technologies Agent-based model Data analysis Big data Simulation Science Computing Technology
509	Agenda: Begin with discussion of deliverable. Consider Constraints Review Concept Organization Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-07-08 18:15:06 Formal sciences Database management systems Database theory Business intelligence Emerging technologies Data mining Big data Analytics Database Information Science Data
510	The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Logical syntax Formal methods Mathematical logic Theoretical computer science Rippling Mathematical proof Theorem Formal proof KeY Logic Mathematics Automated theorem proving

UPDATE